Patrick Joyce – A Retrospective

A Multiprocessor Implementation of Joyce

Joyce is a programming language for parallel computers based on CSP and Pas-cal. A Joyce program defines concurrent agents which communicate through unbuffered channels. This paper describes a multiprocessor implementation of Joyce.

108-113 Joyce

Family Planning Perspectives Through the mid-1980s, Medicaid eligibility requirements included very low income thresholds established by the individual states. Between 1987 and 1991, eligibility standards for poor and near-poor pregnant women were expanded dramatically. The 1986 Omnibus Budget and Reconciliation Act (OBRA) permitted states to extend eligibility (and receive reimbursement for se...

Joyce the Playwright

Joyce - A Programming Language for Distributed Systems

This paper describes a secure programming language called Joyce based on CSP and Pascal. Joyce permits unbounded (recursive) activation of communicating agents. The agents exchange messages through synchronous channels. A channel can transfer messages of different types between two or more agents. A compiler can check message types and ensure that agents use disjoint sets of variables only. The...

Patrick Cavanagh

Patrick Cavanagh graduated in Communications Engineering from McGill University in 1968. An interest in artificial intelligence led to a Ph.D. in cognitive psychology from Carnegie-Mellon in 1972. He taught at the Université de Montréal in Psychology until 1989, when he moved to Harvard as a Professor of Psychology. Along with Ken Nakayama, he founded the Vision Sciences Laboratory at Harvard i...